Aerodynamic Characteristics at a Mach Number of 6.8 of Two Hypersonic Missile Configurations, One with Low-Aspect-Ratio Cruciform Fins and Trailing-Edge Flaps and One with a Flared Afterbody and All-Movable Controls

An investigation has been made to determine the aerodynamic characteristics in pitch at a Mach number of 6.8 of hypersonic missile configurations with cruciform trailing-edge flaps and with all-movable control surfaces. The flaps were tested on a configuration having low-aspect-ratio cruciform fins with an apex angle of 5 degrees; the all-movable controls were mounted at the 46.7-percent body station on a configuration having a 10 degrees flared afterbody. The tests were made through an angle-of-attack range of -2 degrees to 20 degrees at zero sideslip in the Langley 11-inch hypersonic tunnel. The results indicated that the all-movable controls on the flared-afterbody model should be capable of producing much larger values of trim lift and of normal acceleration than the trailing-edge-flap configuration. The flared-afterbody configuration had considerably higher drag than the cruciform-fin model but only slightly lower values of lift-drag ratio

Optimal branching asymmetry of hydrodynamic pulsatile trees

Most of the studies on optimal transport are done for steady state regime conditions. Yet, there exists numerous examples in living systems where supply tree networks have to deliver products in a limited time due to the pulsatile character of the flow. This is the case for mammals respiration for which air has to reach the gas exchange units before the start of expiration. We report here that introducing a systematic branching asymmetry allows to reduce the average delivery time of the products. It simultaneously increases its robustness against the unevitable variability of sizes related to morphogenesis. We then apply this approach to the human tracheobronchial tree. We show that in this case all extremities are supplied with fresh air, provided that the asymmetry is smaller than a critical threshold which happens to fit with the asymmetry measured in the human lung. This could indicate that the structure is adjusted at the maximum asymmetry level that allows to feed all terminal units with fresh air.Comment: 4 pages, 4 figure

Heterogeneous Batch Distillation Processes: Real System Optimisation

In this paper, optimisation of batch distillation processes is considered. It deals with real systems with rigorous simulation of the processes through the resolution full MESH differential algebraic equations. Specific software architecture is developed, based on the BatchColumn® simulator and on both SQP and GA numerical algorithms, and is able to optimise sequential batch columns as long as the column transitions are set. The efficiency of the proposed optimisation tool is illustrated by two case studies. The first one concerns heterogeneous batch solvent recovery in a single distillation column and shows that significant economical gains are obtained along with improved process conditions. Case two concerns the optimisation of two sequential homogeneous batch distillation columns and demonstrates the capacity to optimize several sequential dynamic different processes. For such multiobjective complex problems, GA is preferred to SQP that is able to improve specific GA solutions

Testing data types implementations from algebraic specifications

Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of axioms. This makes it possible to formally state the fundamental concepts of testing: exhaustive test set, testability hypotheses, oracle. Various criteria for selecting finite test sets have been proposed. They depend on the form of the axioms, and on the possibilities of observation of the implementation under test. This last point is related to the well-known oracle problem. As the main interest of algebraic specifications is data type abstraction, testing a concrete implementation raises the issue of the gap between the abstract description and the concrete representation. The observational semantics of algebraic specifications bring solutions on the basis of the so-called observable contexts. After a description of testing methods based on algebraic specifications, the chapter gives a brief presentation of some tools and case studies, and presents some applications to other formal methods involving datatypes

Selection rules for Single-Chain-Magnet behavior in non-collinear Ising systems

The magnetic behavior of molecular Single-Chain Magnets is investigated in the framework of a one-dimensional Ising model with single spin-flip Glauber dynamics. Opportune modifications to the original theory are required in order to account for reciprocal non-collinearity of local anisotropy axes and the crystallographic (laboratory) frame. The extension of Glauber's theory to the case of a collinear Ising ferrimagnetic chain is also discussed. Within this formalism, both the dynamics of magnetization reversal in zero field and the response of the system to a weak magnetic field, oscillating in time, are studied. Depending on the geometry, selection rules are found for the occurrence of slow relaxation of the magnetization at low temperatures, as well as for resonant behavior of the a.c. susceptibility as a function of temperature at low frequencies. The present theory applies successfully to some real systems, namely Mn-, Dy-, and Co-based molecular magnetic chains, showing that Single-Chain-Magnet behavior is not only a feature of collinear ferro- and ferrimagnetic, but also of canted antiferromagnetic chains.Comment: 15 pages, 6 figure

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally

Relationship between river size and nutrient removal

Author Posting. © American Geophysical Union, 2006. This article is posted here by permission of American Geophysical Union for personal use, not for redistribution. The definitive version was published in Geophysical Research Letters 33 (2006): L06410, doi:10.1029/2006GL025845.We present a conceptual approach for evaluating the biological and hydrological controls of nutrient removal in different sized rivers within an entire river network. We emphasize a per unit area biological parameter, the nutrient uptake velocity (νf), which is mathematically independent of river size in benthic dominated systems. Standardization of biological parameters from previous river network models to νf reveals the nature of river size dependant biological activity in these models. We explore how geomorphic, hydraulic, and biological factors control the distribution of nutrient removal in an idealized river network, finding that larger rivers within a basin potentially exert considerable influence over nutrient exports.This work was funded by NASA-IDS (NNG04GH75G), NSF-LTER OCE-9726921, and NOAA (NA17RJ2612- 344 to Princeton U.)

On the complexity of acyclic modules in automata networks

Modules were introduced as an extension of Boolean automata networks. They have inputs which are used in the computation said modules perform, and can be used to wire modules with each other. In the present paper we extend this new formalism and study the specific case of acyclic modules. These modules prove to be well described in their limit behavior by functions called output functions. We provide other results that offer an upper bound on the number of attractors in an acyclic module when wired recursively into an automata network, alongside a diversity of complexity results around the difficulty of deciding the existence of cycles depending on the number of inputs and the size of said cycle.Comment: 21 page

PPARγ population shift produces disease-related changes in molecular networks associated with metabolic syndrome

Peroxisome proliferator-activated receptor gamma (PPARγ) is a key regulator of adipocyte differentiation and has an important role in metabolic syndrome. Phosphorylation of the receptor's ligand-binding domain at serine 273 has been shown to change the expression of a large number of genes implicated in obesity. The difference in gene expression seen when comparing wild-type phosphorylated with mutant non-phosphorylated PPARγ may have important consequences for the cellular molecular network, the state of which can be shifted from the healthy to a stable diseased state. We found that a group of differentially expressed genes are involved in bi-stable switches and form a core network, the state of which changes with disease progression. These findings support the idea that bi-stable switches may be a mechanism for locking the core gene network into a diseased state and for efficiently propagating perturbations to more distant regions of the network. A structural analysis of the PPARγ–RXRα dimer complex supports the hypothesis of a major structural change between the two states, and this may represent an important mechanism leading to the differential expression observed in the core network